GtkPaned {
// This is actually the invisible area of the paned separator, not a margin...
- margin: 16px; //drag area of the separator
+ margin: 0 16px 16px 0; //drag area of the separator
+ &:dir(rtl) {
+ margin-right: 0;
+ margin-left: 16px;
+ }
}
.pane-separator {
color: #383e3e; }
GtkPaned {
- margin: 16px; }
+ margin: 0 16px 16px 0; }
+ GtkPaned:dir(rtl) {
+ margin-right: 0;
+ margin-left: 16px; }
.pane-separator {
background-image: linear-gradient(to bottom, #1c1f1f); }
color: #dfdfdf; }
GtkPaned {
- margin: 16px; }
+ margin: 0 16px 16px 0; }
+ GtkPaned:dir(rtl) {
+ margin-right: 0;
+ margin-left: 16px; }
.pane-separator {
background-image: linear-gradient(to bottom, #a1a1a1); }